Orc-X: Combining Orchestrations and XQuery
نویسندگان
چکیده
In designing a language for distributed computing, the handling of data and distribution can be viewed as largely orthogonal concerns, as long as the data model supports the communication requirements of the distribution model. This view contrasts strongly with approaches based on distributed objects, which typically enforce a tight coupling of state and behavior. We have previously presented Orc, a language that provides simple but powerful constructs to orchestrate distributed computations. Previous versions of Orc included only simple data types, since these were sufficient to demonstrate the concurrency primitives. However, Orc’s communication model is based on web services, which support complex XML documents in addition to simple data types. Thus it is natural to consider XML as an appropriate data model for Orc. We present Orc-X, an extension of the Orc language with an XML data model and XML-specific data management capabilities from XQuery. We demonstrate that Orc-X is well-suited for the application domain of distributed resource management protocols such as the Narada mesh overlay protocol.
منابع مشابه
Orc-x: Combining Orchestrations and Xquery Orc-x: Combining Orchestrations and Xquery Orc-x: Combining Orchestrations and Xquery
v
متن کاملReasoning frameworks for Service-based Orchestrations
An orchestration is a evaluation which invokes (multiple) remote services in order to compute some required result(s). By assuming that services are pre-specified it is possible to assign meanings to multi-threaded orchestrations. Orc is a structured concurrent calculus which can be used to schedule timeouts and manage multi-threaded service-based orchestrations. Two formal definitions of Orc a...
متن کاملN o d ’ ordre : 4015 ANNÉE 2009
Web Services orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and elegant and captures the essence of orchestrations. We translate Orc into colored Petri net systems, a generalization of Petri nets allowing to handle recursion—this formalism was recently proposed by Dev...
متن کاملQoS-aware management of monotonic service orchestrations
Abstract We study QoS-aware management of service orchestrations, specifically for orchestrations having a data-dependent workflow. Our study supports multi-dimensional QoS. To capture uncertainty in performance and QoS, we provide support for probabilistic QoS. Under the above assumptions, orchestrations may be non-monotonic with respect to QoS, meaning that strictly improving the QoS of a ser...
متن کاملEvent Structure Semantics of Orc Sidney Rosario , David Kitchin , Albert Benveniste
One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of service. Analysis of non-functional properties requires a precise formal semantics for the language in which the system is written; but labelled transition systems and trace semantics, which are comm...
متن کامل